معنای عملیاتی برای یک زبان مبتنی براکتور

Authors

  • الهام موسوی
  • علی موقر رحیم آبادی
  • مرجان سیرجانی
  • نیلوفر رضوی
Abstract:

باتوجه به رشد روز افزون استفاده از سیستم‌های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم‌ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده ‌است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده ‌است. اشیا‎ء واکنشی مستقل از هم، اجزاء تشکیل دهنده‌ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی‌های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم‌های واکنشی بوده ‌است.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

حالت و معنای حالت در زبان روسی

در دستور سنتی زبان روسی، ویژگی دستوری "حالت " به عنوان یکی از ویژگی های دستوری تغییردهنده در ارتباط با اسم تعیین می شود و بر این اساس، شش حالت صرفی تحت عناوین "حالت نهادی، " حالت اضافی "، "حالت به ای "، "حالت مفعول مستقیم "، "حالت بایی " و "حالت حرف اضافه ای " مشخص می شوند. " صرف اسمی " از سوی دستورنویسان روس عمدتأ به شکل های مختلف اسم که موجب ویژگی دستوری "حالت " به دست می آیند، اطلاق می شود و...

full text

شناسایی رفتارهای عملیاتی مبتنی بر ارزش‌های سازمانی در لایه‌ی عملیاتی

جاری‌سازی ارزش‌های سازمانی موجب بهبود رفتار کارکنان شده و اخلاق حرفه‌ای به مبنایی برای کسب‌وکار بدل می‌گردد. توجه به چگونگی و سازوکارهای لازم برای جاری‌سازی ارزش‌ها و تبدیل آن به رفتارهای عملیاتی در لایه‌ی عملیاتی کمتر مورد توجه قرار گرفته است. به این منظور، ضمن مروری مستند بر ادبیات موضوع، نتایج به‌دست‌آمده، طی مطالعه‌ی موردی در شرکت فولاد مبارکه‌ی اصفهان، مورد بررسی قرار گرفته است. بر این اسا...

full text

طراحی یک ردیاب برای یک ماهواره‌بر مبتنی بر خطی‌سازی برخط

به دلیل حضور برخی ترم‌های غیر خطی در معادلات پرواز یک ماهواره‌بر باید یک راهبرد مناسب و پایدار کنترلی برای غلبه بر این ترم‌ها و در نتیجه، فرایند ردیابی صحیح مسیر بهینۀ رسیدن ماهواره‌بر به مدار مورد نظر را طراحی کرد. در این مقاله، مبانی طراحی یک کنترل‌کننده برای سیستم غیر خطی نوین و ساده با هدف کنترل یک نوع ماهواره‌بر در جهت ردیابی مسیر بهینۀ آن توضیح داده می‌شود. مبنای اساسی این استراتژی، خطی‌س...

full text

سیستم تشخیص ناهنجاری مبتنی بر هشدار برای مقابله با تهدیدهای عملیاتی در سیستم اسکادا

حمله به سیستم‌های اسکادا در زیرساخت‌های حیاتی خسارت‌های جبران‌ناپذیری به همراه دارد. چنانچه اپراتورهای اسکادا وظایف خود را به‌درستی انجام ندهند، در فرآیندهای جاری سیستم اختلال به­وجود می‌آید. عملکرد نامناسب اپراتورها در کنترل فرآیندها به‌عنوان تهدید عملیاتی شناخته می‌شود. ازآنجایی‌که هشدارها یکی از مهم‌ترین پارامترها در سیستم‌های اسکادا می‌باشند، در این مقاله یک سیستم تشخیص ناهنجاری مبتنی بر هش...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 40  issue 2

pages  -

publication date 2006-10-23

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023